// Flags: --instantiation
